-
1 логика с самоконтролем
Русско-английский большой базовый словарь > логика с самоконтролем
-
2 логические схемы с самоконтролем
Русско-английский большой базовый словарь > логические схемы с самоконтролем
-
3 цикл самоконтроля
Русско-английский большой базовый словарь > цикл самоконтроля
-
4 число с разрядами самоконтроля
Русско-английский большой базовый словарь > число с разрядами самоконтроля
-
5 разряд самоконтроля
Русско-английский словарь по информационным технологиям > разряд самоконтроля
-
6 бит самоконтроля
Русско-английский словарь по информационным технологиям > бит самоконтроля
-
7 логические схемы с внутренней синхронизацией
логические схемы с внутренней синхронизацией
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > логические схемы с внутренней синхронизацией
-
8 схема с самоконтролем
1. self-checking circuit2. self-testing circuitРусско-английский большой базовый словарь > схема с самоконтролем
-
9 логические схемы с внутренней синхронизацией
1) Engineering: internal-synchronous logic2) Information technology: self-checking logic, self-timed logicУниверсальный русско-английский словарь > логические схемы с внутренней синхронизацией
-
10 логика с самоконтролем
Information technology: self-checking logicУниверсальный русско-английский словарь > логика с самоконтролем
-
11 логические логика с самоконтролем
Information technology: self-checking logicУниверсальный русско-английский словарь > логические логика с самоконтролем
-
12 логические схемы с самоконтролем
Information technology: self-checking logicУниверсальный русско-английский словарь > логические схемы с самоконтролем
-
13 comprobación
f.verification, checking, demonstration, proof.* * *1 verification, check, checking* * *SF (=proceso) checking, verification; (=datos) proofcomprobación general de cuentas — (Com) general audit
* * *a) ( acción) verification, checkingb) (Col) ( examen) test* * *= check, checking, testing, validation, verification, checkup [check-up], cross-checking [cross checking], reality check, cross check, checkout [check-out].Ex. Checks on relationships that must be represented can be executed by examining each card in turn and seeking cards which show related terms.Ex. The purpose of this checking is to ensure that an entry always has the same form so that the catalog is consistent and clean.Ex. Attention has focussed on the labelling of foodstuffs and the testing and approval of food additives.Ex. Often referred to as utilities, basic software packages are available for performing basic operations such as data entry and validation, sorting and merging files and editing data.Ex. The full verification of this logic and settling of differences now needs to be made by other means.Ex. The article is entitled 'How fit is your health collection?: the importance of regular check-ups: health information in the public library' = El artículo se titula "¿Está en buena forma su colección sobre salud?: la importancia de los chequeos regulares: información sanitaria en la biblioteca pública".Ex. Cross-checking every detail are a necessary drudgery that will be greatly simplified when the process is computerised.Ex. This article describes the valuable role played by focus groups in providing a reality check on the usefulness of a new product or service.Ex. Having the volume and part number, for example, as well as the date of issue of the periodical enables cross checks to be made.Ex. To do a proper checkout, you need to remove the driveshaft and pull the bearing cups off.----* autocomprobación = self-checking.* comprobación al azar = spot check.* comprobación de antecedentes delictivos = police check.* comprobación de la integridad de un documento = collating.* comprobación de las necesidades económicas = means-testing, means test.* comprobación del documento = collating.* comprobación de los ingresos = means-testing, means test.* comprobación en la práctica real = field test.* comprobación rápida = spot check.* dígito de comprobación = check digit.* hacer una comprobación = conduct + check, execute + check.* lista de comprobación = checklist [check-list].* paquete de entrada y comprobación de datos = data entry and validation package.* poner una marca de comprobación = check-mark.* test de validación, test de comprobación = validation test.* * *a) ( acción) verification, checkingb) (Col) ( examen) test* * *= check, checking, testing, validation, verification, checkup [check-up], cross-checking [cross checking], reality check, cross check, checkout [check-out].Ex: Checks on relationships that must be represented can be executed by examining each card in turn and seeking cards which show related terms.
Ex: The purpose of this checking is to ensure that an entry always has the same form so that the catalog is consistent and clean.Ex: Attention has focussed on the labelling of foodstuffs and the testing and approval of food additives.Ex: Often referred to as utilities, basic software packages are available for performing basic operations such as data entry and validation, sorting and merging files and editing data.Ex: The full verification of this logic and settling of differences now needs to be made by other means.Ex: The article is entitled 'How fit is your health collection?: the importance of regular check-ups: health information in the public library' = El artículo se titula "¿Está en buena forma su colección sobre salud?: la importancia de los chequeos regulares: información sanitaria en la biblioteca pública".Ex: Cross-checking every detail are a necessary drudgery that will be greatly simplified when the process is computerised.Ex: This article describes the valuable role played by focus groups in providing a reality check on the usefulness of a new product or service.Ex: Having the volume and part number, for example, as well as the date of issue of the periodical enables cross checks to be made.Ex: To do a proper checkout, you need to remove the driveshaft and pull the bearing cups off.* autocomprobación = self-checking.* comprobación al azar = spot check.* comprobación de antecedentes delictivos = police check.* comprobación de la integridad de un documento = collating.* comprobación de las necesidades económicas = means-testing, means test.* comprobación del documento = collating.* comprobación de los ingresos = means-testing, means test.* comprobación en la práctica real = field test.* comprobación rápida = spot check.* dígito de comprobación = check digit.* hacer una comprobación = conduct + check, execute + check.* lista de comprobación = checklist [check-list].* paquete de entrada y comprobación de datos = data entry and validation package.* poner una marca de comprobación = check-mark.* test de validación, test de comprobación = validation test.* * *1 (acción) verification, checking* * *
comprobación sustantivo femenino
comprobación sustantivo femenino verification, check
' comprobación' also found in these entries:
English:
crosscheck
- demonstration
- proof
- verification
* * *comprobación nfchecking* * *f check* * * -
14 код с обнаружением ошибок
1. self-checking codeкод, обнаруживающий ошибки — error-detecting code
2. self-demarcating codeкод с ошибкой; код ошибки — error code
3. checkable code4. error-catching codeкод "серьезности" ошибки — severity code
5. error-control code6. error-detecting code7. error-detection code8. error-checking codeРусско-английский большой базовый словарь > код с обнаружением ошибок
-
15 устройство
attachment, apparatus, arrangement, assembly, device, element, facility, machine, gear, mean, project, rig, setup, station, structure, system, technology, unit, widget* * *устро́йство с.1. (приспособление, механизм и т. п.) apparatus, arrangement device, equipment, facility, means, gear2. (конструкция, расположение) arrangement, designблагодаря́ тако́му устро́йству … — by this arrangement, …устро́йство авари́йной сигнализа́ции — alarm (device)устро́йство автомати́ческого выра́внивания с.-х. — self-levelling deviceавтоно́мное устро́йство — self-contained unitавтосцепно́е устро́йство — automatic coupler equipmentамортизи́рующее устро́йство — shock absorberанало́говое устро́йство — analog deviceанало́говое, вычисли́тельное устро́йство — analog computing deviceанте́нное устро́йство (собственно антенна, привод и опора) — scanner (assembly)устро́йство АПВ эл. — automatic (circuit) recloser (см. тж. АПВ)арифмети́ческое устро́йство вчт. — arithmetic unitба́зовое устро́йство ( в приборах со сменными блоками втычного типа) — mainframeбалансиро́вочное устро́йство — balancerблоки́рующее устро́йство — interlockбры́згальное устро́йство — spraying deviceбуквопеча́тающее устро́йство — полигр. character printing device; вчт. alphabetic printerбукси́рное устро́йство — towing arrangement, towing gearбу́ферное устро́йство — buffer (unit)валоповоро́тное устро́йство — barring [jacking, shaft-turning] gearустро́йство вво́да — вчт. input device, input unit, input reader; ( перфокарточное) card readerустро́йство вво́да-вы́вода вчт. — input-output [I/ O] deviceвзве́шивающее устро́йство — weigherвидеоконтро́льное устро́йство [ВКУ] — picture monitorвизи́рное устро́йство кфт. — finder systemвизи́рное, зерка́льное беспаралла́ксное устро́йство кфт. — (through-the-lens) reflex view-finder systemвне́шние устро́йства вчт. — peripheral equipmentводозабо́рное устро́йство — water intakeводозабо́рное, высоконапо́рное устро́йство — high-pressure water intakeводозабо́рное, низконапо́рное устро́йство — low-pressure water intakeводоотво́дное устро́йство — drainage facilityвоздухоспускно́е устро́йство — air bleederвстря́хивающее устро́йство ( в пылевых фильтрах) — rapping gearвходно́е устро́йство — input device, input unitустро́йство вы́вода — вчт. output device, output unit; ( с записью) output writer; ( с печатью) output printer; ( перфокарточное) (output) card punchвыводно́е устро́йство полигр. — sheet delivery apparatus, delivery unitвыпрямля́ющее устро́йство — rectifier (unit)вытяжно́е устро́йство — exhaust systemвычисли́тельное устро́йство — computer, computing deviceвычисли́тельное, навигацио́нное устро́йство — navigation [flight] computerгазоочистно́е устро́йство — gas-cleaning system, gas scrubberгрузово́е устро́йство мор. — cargo(-handling) gearгрузоподъё́мное устро́йство — hoisting apparatus, hoisting gearдальноме́рное устро́йство — distance-measuring device; ranging unitдекоди́рующее устро́йство — decoderдекомпрессио́нное устро́йство — decompressorдемпфи́рующее устро́йство — damping device, damper; изм. dash-potдифференци́рующее устро́йство вчт. — differential analyzerустро́йство для маркиро́вки проводо́в — wire-marking machineустро́йство для продо́льной ре́зки ле́нты полигр. — slitting machineдози́рующее устро́йство — metering device; (отвешивающее, отмеривающее и т. п.) measuring equipmentдрена́жное устро́йство — drain(age) systemдугогаси́тельное устро́йство эл. — arc control deviceзабо́рное устро́йство — intakeзагру́зочное устро́йство — charging deviceзадаю́щее устро́йство автмт. — reference-input element, reference-input unit, control-point setting deviceустро́йство заде́ржки — delay deviceзажи́мное устро́йство — clamping [holding] deviceзаземля́ющее устро́йство — earthing [grounding] connectionзапомина́ющее устро́йство — вчт. storage, memory; брит. storeвыводи́ть из запомина́ющего устро́йства — retrieve from storage [from memory]засыла́ть в запомина́ющее устро́йство — transfer to [enter into] storage [memory]обраща́ться к запомина́ющему устро́йству — access, storage [memory]запомина́ющее, автоно́мное устро́йство — off-line storage, off-line memoryзапомина́ющее, ана́логовое устро́йство — analog storage, analog memoryзапомина́ющее, ассоциати́вное устро́йство — associative [content-addressable] memoryзапомина́ющее устро́йство без разруше́ния информа́ции (при счи́тывании) — nondestructive (read-out) storage, NDRO storage, nondestructive memoryзапомина́ющее, бу́ферное устро́йство — buffer storage, buffer memoryзапомина́ющее, быстроде́йствующее устро́йство — quick-access [rapid-access] storage, quick-access [rapid-access] memoryзапомина́ющее, вне́шнее устро́йство [ВЗУ] — external storage, external memoryзапомина́ющее, вну́треннее устро́йство — internal storage, internal memoryзапомина́ющее, вспомога́тельное устро́йство — auxiliary storage, auxiliary memoryзапомина́ющее, динами́ческое устро́йство — dynamic storage, dynamic memoryзапомина́ющее, долговре́менное устро́йство — permanent storage, permanent memoryзапомина́ющее, магни́тное устро́йство — magnetic storage, magnetic memoryзапомина́ющее, магнитострикцио́нное устро́йство — magnetostrictive (delay-line) storage, magnetostrictive (delay-line) memoryзапомина́ющее, ма́тричное устро́йство — matrix storage, matrix memoryзапомина́ющее устро́йство на бараба́нах — drum storageзапомина́ющее устро́йство на ди́сках — disk storage, disk memoryзапомина́ющее устро́йство на ле́нтах — tape storage, tape memoryзапомина́ющее устро́йство на магни́тных ка́ртах — magnetic card storage, magnetic card memoryзапомина́ющее устро́йство на магни́тных плё́нках — magnetic-film storage, magnetic-film memoryзапомина́ющее устро́йство на магни́тных серде́чниках — magnetic-core storage, magnetic-core memoryзапомина́ющее устро́йство на перфоле́нтах — punch tape storageзапомина́ющее устро́йство на три́ггерах — flip-flop storage, flip-flop memoryзапомина́ющее устро́йство на ферри́товых серде́чниках — (ferrite) core storage, (ferrite) core memoryзапомина́ющее устро́йство на электроннолучевы́х тру́бках — cathode-ray tube memory, cathode-ray tube storageзапомина́ющее, односторо́ннее устро́йство — read-only memory, ROMзапомина́ющее, операти́вное устро́йство — on-line storage, on-line memoryзапомина́ющее, опти́ческое устро́йство — optical storage, optical memoryзапомина́ющее, оптоэлектро́нное устро́йство — optoelectronic (data) storage, optoelectronic (data) memoryзапомина́ющее, после́довательное устро́йство — serial(-access) storage, serial(-access) memoryзапомина́ющее, постоя́нное устро́йство — permanent [fixed] storage, permanent [fixed] memoryзапомина́ющее, рабо́чее устро́йство — working storage, working memoryзапомина́ющее устро́йство с бы́строй вы́боркой — quick-access [rapid-access] memoryзапомина́ющее устро́йство с нестира́емой за́писью — nonerasable storage, nonerasable memoryзапомина́ющее устро́йство со стира́емой за́писью — erasable storage, erasable memoryзапомина́ющее устро́йство с поразря́дной вы́боркой — bit-organized memoryзапомина́ющее устро́йство с произво́льной вы́боркой — random access storage, random access memoryзапомина́ющее устро́йство с прямо́й вы́боркой ( слов или чисел) — word-organized [word-selection] storage, word-organized [word-selection] memoryзапомина́ющее устро́йство с разруше́нием информа́ции — volatile storage, volatile memoryзапомина́ющее устро́йство с совпаде́нием то́ков — coincident-current storage, coincident-current memoryзапомина́ющее устро́йство стати́ческого ти́па — static storageзапомина́ющее устро́йство с центра́льным проце́ссором — on-line storage, on-line memoryзапомина́ющее, три́ггерное устро́йство — flip-flop storage, flip-flop memoryзапомина́ющее, цикли́ческое устро́йство — circulating [cyclic] storage, circulating [cyclic] memoryзапомина́ющее, электроннолучево́е устро́йство — cathode-ray tube memoryзаря́дное устро́йство — charging unit, chargerзаря́дное, аккумуля́торное устро́йство — battery chargerзащи́тное устро́йство — protection device; ( преимущественно механическое) safe-guardзвукозапи́сывающее устро́йство — sound recorderзолосмывно́е устро́йство — ash sluicing deviceзолотопромы́вочное устро́йство — gold washerзолоулови́тельное устро́йство — fly-ash collectorизмери́тельное устро́йство — measuring deviceиндика́торное устро́йство рлк. — display unit, indicator (unit), (radar) scopeинтегри́рующее устро́йство — integratorка́бельное устро́йство — cable (hauling) gearкернова́тельное устро́йство нефт. — catcher, (split-ring) core lifter, spring lifter, core gripperкоди́рующее устро́йство — coding device, (en)coderколошнико́вое устро́йство — (blast-furnace) top arrangementколошнико́вое, загру́зочное устро́йство — top charging gearконтро́льное устро́йство — monitor (ing device)концево́е, ка́бельное устро́йство — cable terminationкопирова́льное устро́йство ( пантограф) — pantographкорректи́рующее устро́йство1. автмт. compensator, compensating device, compensating network, equalizerпредусма́тривать корректи́рующее устро́йство, напр. в цепи́ — use [place] a compensator around, e. g., a circuit2. полигр. error correcting deviceкра́новое устро́йство ( бурильной машины) — crown blockле́ерное устро́йство мор. — life lines, life railsлентопротя́жное устро́йство — tape transport, tape-moving deviceлистовыводно́е устро́йство полигр. — sheet delivery apparatusлистоотдели́тельное устро́йство полигр. — sheet-separating unitлоги́ческое устро́йство — logic unitмикрофо́нно-телефо́нное устро́йство — microphone-earphone deviceмно́жительно-дели́тельное устро́йство — multiplication-division unitмно́жительное устро́йство — multiplier unitмодели́рующее устро́йство — simulatorмодели́рующее устро́йство в и́стинном масшта́бе вре́мени — real-time simulatorнабо́рное устро́йство ( телетайпа или стартстопного телеграфного аппарата) — selector mechanismнагру́зочное устро́йство — loading deviceнажимно́е устро́йство ( прокатного стана) — screw-down mechanismнака́тное устро́йство полигр. — inking unitнакладно́е устро́йство полигр. — laying-in apparatusнамо́точное устро́йство — coiler, winding machineнатяжно́е устро́йство — ( для регулирования длины полосы) прок. bridle, bridling equipment; ( ременной или иной передачи) tensioning device; ( конвейера) take-upнатяжно́е, винтово́е устро́йство — ( конвейера) screw take-up; ( ременной или иной передачи) screw tensionerнатяжно́е, входно́е устро́йство прок. — entry bridleнатяжно́е, выходно́е устро́йство прок. — exit bridleнатяжно́е устро́йство цепно́й переда́чи — chain tightenerустро́йство обега́ющего контро́ля — data loggerустро́йство обрабо́тки да́нных — data processorустро́йство обрабо́тки информа́ции — data-processing unitоконе́чное устро́йство — terminalоповести́тельное устро́йство — annunciatorопу́дривающее устро́йство пласт. — duster, powdering deviceороси́тельное устро́йство — spraying device, spraying systemосвети́тельное устро́йство — lighting unitосновно́е устро́йство вчт. — primary deviceотклоня́ющее устро́йство — deflector; (в осциллоскопах, кинескопах) deflection yokeотсо́сное устро́йство тепл. — aspiratorпаропромы́вочное устро́йство — steam washer, steam scrubberперегово́рное устро́йство — intercom, intercommunication(s) system, interphone systemперегово́рное, самолё́тное устро́йство — (aircraft) intercommunication [interphone] systemперезапи́сывающее устро́йство — transcriberпереключа́ющее устро́йство — switching deviceпереключа́ющее устро́йство регулиро́вки напряже́ния под нагру́зкой — on-load tap-changerпетлево́е устро́йство прок. — looperпеча́тающее устро́йство — printerпеча́тающее, автоно́мное устро́йство — off-line printerпеча́тающее устро́йство бараба́нного ти́па — drum-type printerпеча́тающее, бу́квенно-цифрово́е устро́йство — alpha(nu)merical printerпеча́тающее, выходно́е устро́йство — output printerпеча́тающее устро́йство колё́сного ти́па — wheel printerпеча́тающее, ма́тричное устро́йство — wire-matrix impact printerпеча́тающее, неавтоно́мное устро́йство — on-line printerпеча́тающее, операти́вное устро́йство ( работающее в системном режиме) — on-line printerпеча́тающее, постро́чно устро́йство — line [line-at-a-time] printerпеча́тающее, ротацио́нное устро́йство — on-the-fly printerпеча́тающее, цепно́е устро́йство — chain printerпеча́тающее, цифрово́е устро́йство — numeric(al) printerпеча́тающее, шта́нговое устро́йство — bar printerпеча́тающее, электромехани́ческое устро́йство — electromechanical printerпеча́тающее, электро́нное устро́йство — electronic printerпеча́тающее, электростати́ческое устро́йство — electrostatic printerпита́ющее устро́йство — feeding device, feederпогру́зочно-разгру́зочные устро́йства — handling facilitiesустро́йство подгото́вки входны́х да́нных вчт. — input preparation equipmentподпи́точное устро́йство тепл. — make-up systemподъё́мное устро́йство — hoisting equipment, hoisting gearпредохрани́тельное устро́йство ( механического типа) — (safe) guardприводно́е устро́йство — driveпротивообледени́тельное устро́йство — ( предотвращающее образование льда) anti-icing device; ( удаляющее образовавшийся лёд) de-icerпротивоотма́рочное устро́йство полигр. — offset preventing unitпротивоперегру́зочное устро́йство ав. — anti-g deviceпротивопомпа́жное устро́йство — antisurge deviceпротивоуго́нное устро́йство — anti-theft deviceпусково́е устро́йство — starting device, starterпутевы́е устро́йства — wayside apparatus, track arrangementрадиопередаю́щее устро́йство — radio transmitterрадиоприё́мное устро́йство — radio receiverразвё́ртывающее устро́йство — scanner, scanning systemразвё́ртывающее устро́йство бараба́нного ти́па ( в фототелеграфии) — drum-type scannerразвё́ртывающее устро́йство плоскостно́го ти́па ( в фототелеграфии) — flat-bed scannerразвё́ртывающее устро́йство ти́па «бегу́щий луч» ( в фототелеграфии) — flying-spot scannerразгру́зочное устро́йство — unloading installation, discharging deviceраскатно́е устро́йство1. полигр. inker unit2. эл. reeling-out unitраска́точное устро́йство рез. — unwinding deviceустро́йство распознава́ния зна́ков — character recognition machineустро́йство распознава́ния о́бразов — pattern recognition machineраспредели́тельное устро́йство эл. — switch-gearраспредели́тельное, закры́тое устро́йство эл. — indoor switch-gearраспредели́тельное, компле́ктное устро́йство эл. — factory-assembled switch-gearраспредели́тельное, откры́тое устро́йство эл. — outdoor switch-gearраспредели́тельное устро́йство сбо́рного ти́па эл. — cubicle-type switch-gearраспы́ливающее устро́йство — sprayer unitрассти́лочное устро́йство с.-х. — spreading deviceрасто́почное устро́йство — lighting-up equipmentустро́йство регистра́ции произво́дственных да́нных — process data loggerрегули́рующее устро́йство — regulator [governor] deviceрезе́рвное устро́йство — stand-by facility, back-up deviceрулево́е устро́йство мор. — steering gearрыбозащи́тное устро́йство — fish protection structureрыбопропускно́е устро́йство — fish passустро́йство СДЦ с однокра́тным вычита́нием — single(-subtraction) cancellerсма́зочное устро́йство — lubricatorсмеси́тельное устро́йство — mixing device, mixerсогласу́ющее устро́йство — matching deviceспаса́тельное устро́йство мор. — life-saving applianceспусково́е устро́йство1. мор. launching arrangement2. кфт. (shutter) releaseсра́внивающее устро́йство — comparatorста́лкивающее устро́йство ( с конвейера) — tripperстанцио́нные устро́йства — station accomodation, station facilitiesстира́ющее устро́йство — eraserсто́порное устро́йство ( сталеразливочного ковша) — stopper-rod deviceсужа́ющее устро́йство гидр. — restriction, contractionсумми́рующее устро́йство — ( аналоговое) summer, summator; ( цифровое) adderсцепно́е устро́йство — couplerсчё́тно-реша́ющее устро́йство — computing device, computerсчё́тно-реша́ющее, навигацио́нное устро́йство — navigation computerсчи́тывающее устро́йство вчт. — reader, reading machineсчи́тывающее, алфави́тно-цифрово́е устро́йство — alphanumeric readerсчи́тывающее, опти́ческое устро́йство — optical readerсчи́тывающее устро́йство, рабо́тающее с бума́жным носи́телем — paper readerсчи́тывающее, фотоэлектри́ческое устро́йство — photoelectric readerсчи́тывающее, электромехани́ческое устро́йство — electromechanical readerтелеизмери́тельное устро́йство — telemetering deviceтормозно́е устро́йство ( для спуска судна на воду) — arresting [checking] arrangementтранскоди́рующее устро́йство — transcoderтягодутьево́е устро́йство — draft systemтя́нущее устро́йство ( волочильного стана) — draw-out equipmentувлажни́тельное устро́йство лес. — humidifierустро́йство ультразвуково́й сва́рки — ultrasonic welding [bonding] machineуплотни́тельное устро́йство — sealing deviceустро́йство управле́ния — control unitустро́йство устано́вки нуля́ ( регулятора) — origin-shift deviceустано́вочное устро́йство — adjusting device, adjusterфазосдвига́ющее устро́йство — phase shifterфокуси́рующее устро́йство — focuserфотопеча́тающее устро́йство — photoprinterхрони́рующее устро́йство — timer, synchronizerцветодели́тельное устро́йство полигр. — colour separatorцейтра́ферное устро́йство кфт. — time-lapse mechanismцепенатяжно́е устро́йство — chain tightenerцифрово́е устро́йство — digital deviceчита́ющее устро́йство ( для чтения текстов) вчт. — reader, reading machineшварто́вное устро́йство — mooring gear, mooring arrangementшле́пперное устро́йство прок. — transfer arrangementшлю́почное устро́йство ( для спуска на воду) — boat(-handling) gearшумозащи́тное устро́йство на приё́м тлф. — receiving-and-antinoise deviceэкипиро́вочное устро́йство ж.-д. — servicing facilitiesэлектро́нное устро́йство — electronic deviceэлектропрои́грывающее устро́йство («вертушка») — turntableя́корное устро́йство — anchor(-handling) gearя́корно-шварто́вное устро́йство — ground tackle
См. также в других словарях:
Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… … History of philosophy
Autoepistemic logic — The autoepistemic logic is a formal logic aimed at formalizing representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
логические схемы с внутренней синхронизацией — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN self checking logic … Справочник технического переводчика
Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Tandem Computers — A Tandem Computers promotional mug Tandem Computers, Inc. was the dominant manufacturer of fault tolerant computer systems for ATM networks, banks, stock exchanges, telephone switching centers, and other similar commercial transaction processing… … Wikipedia
Number Five Crossbar Switching System — The Number Five Crossbar Switching System or 5XB switch, designed by Bell Labs and made by Western Electric, was in use in Bell System telephone exchanges from 1948 to the 1980s. Its principal use was as a Class 5 telephone switch, though… … Wikipedia
Crash (computing) — A public payphone that has experienced a fatal error causing a crash and is displaying the Blue Screen of Death. A crash (or system crash) in computing is a condition where a computer or a program, either an application or part of the operating… … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia